Buy Used and New Marco Bernardo Books

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)

by Marco Bernardo

ISBN 13: 9783540724827

Format: Illustrated (484 pages)
Publisher: Springer
Published: 28 Jun 2007

Save for later

A Process Algebraic Approach to Software Architecture Design

by Alessandro Aldini,Marco Bernardo,Flavio Corradini

ISBN 13: 9781848002227

Format: Hardcover (322 pages)
Publisher: Springer
Published: 27 Nov 2009

Save for later

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 9104 (Lecture Notes in Computer Science)

by Marco Bernardo, Einar Broch Johnsen

ISBN 13: 9783319189406

Format: Paperback (216 pages)
Publisher: Springer
Published: 14 Jun 2015

Save for later

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Lecture Notes in Computer Science)

by Marco Bernardo,Ferruccio Damiani,Reiner Haehnle,Einar Broch Johnsen,Ina Schaefer

ISBN 13: 9783319073163

Format: Paperback (352 pages)
Publisher: Springer
Published: 21 May 2014

Save for later

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... 9700 (Lecture Notes in Computer Science)

by Marco Bernardo,Rocco De Nicola,Jane Hillston

ISBN 13: 9783319340951

Format: Paperback (272 pages)
Publisher: Springer
Published: 12 Jun 2016

Save for later

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science)

by Marco Bernardo,Alessandro Bogliolo

ISBN 13: 9783540256977

Format: Paperback (284 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: 2804 (Lecture Notes in Computer Science)

by Marco Bernardo,Paola Inverardi

ISBN 13: 9783540200833

Format: Paperback (296 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... 3185 (Lecture Notes in Computer Science)

by Marco Bernardo,Flavio Corradini

ISBN 13: 9783540230687

Format: Paperback (304 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... 7938 (Lecture Notes in Computer Science)

by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky

ISBN 13: 9783642388736

Format: Paperback (192 pages)
Publisher: Springer
Published: 07 Jun 2013

Save for later

A Process Algebraic Approach to Software Architecture Design

by Alessandro Aldini,Marco Bernardo,Flavio Corradini

ISBN 13: 9781447157663

Format: Paperback (320 pages)
Publisher: Springer
Published: 20 Oct 2014

Save for later